[INFO] fetching crate mm0b_parser 0.1.4...
[INFO] checking mm0b_parser-0.1.4 against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] extracting crate mm0b_parser 0.1.4 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate mm0b_parser 0.1.4 on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate mm0b_parser 0.1.4
[INFO] finished tweaking crates.io crate mm0b_parser 0.1.4
[INFO] tweaked toml for crates.io crate mm0b_parser 0.1.4 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded zerocopy-derive v0.3.2
[INFO] [stderr]   Downloaded mm0_util v0.1.4
[INFO] [stderr]   Downloaded zerocopy v0.5.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0c50051c512e989e84835a4179f45f15583510239f823fdb3f5e4607783a5db5
[INFO] running `Command { std: "docker" "start" "-a" "0c50051c512e989e84835a4179f45f15583510239f823fdb3f5e4607783a5db5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0c50051c512e989e84835a4179f45f15583510239f823fdb3f5e4607783a5db5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c50051c512e989e84835a4179f45f15583510239f823fdb3f5e4607783a5db5", kill_on_drop: false }`
[INFO] [stdout] 0c50051c512e989e84835a4179f45f15583510239f823fdb3f5e4607783a5db5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0c0bbe2dee0ac5d6374def15d6fb526c2b32cd4280ac963c3ef4f0e36619bda5
[INFO] running `Command { std: "docker" "start" "-a" "0c0bbe2dee0ac5d6374def15d6fb526c2b32cd4280ac963c3ef4f0e36619bda5", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking mm0_util v0.1.4
[INFO] [stderr]    Compiling zerocopy-derive v0.3.2
[INFO] [stderr]     Checking zerocopy v0.5.2
[INFO] [stderr]     Checking mm0b_parser v0.1.4 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `buf` is never read
[INFO] [stdout]     --> src/parser.rs:1020:3
[INFO] [stdout]      |
[INFO] [stdout] 1018 | pub struct HypsEntryRef<'a> {
[INFO] [stdout]      |            ------------ field in this struct
[INFO] [stdout] 1019 |   /// The full file
[INFO] [stdout] 1020 |   buf: &'a [u8],
[INFO] [stdout]      |   ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `HypsEntryRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]     --> src/lib.rs:18:3
[INFO] [stdout]      |
[INFO] [stdout] 18   |   unused,
[INFO] [stdout]      |   ^^^^^^
[INFO] [stdout]      = note: `#[warn(dead_code)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `buf` is never read
[INFO] [stdout]     --> src/parser.rs:1020:3
[INFO] [stdout]      |
[INFO] [stdout] 1018 | pub struct HypsEntryRef<'a> {
[INFO] [stdout]      |            ------------ field in this struct
[INFO] [stdout] 1019 |   /// The full file
[INFO] [stdout] 1020 |   buf: &'a [u8],
[INFO] [stdout]      |   ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `HypsEntryRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]     --> src/lib.rs:18:3
[INFO] [stdout]      |
[INFO] [stdout] 18   |   unused,
[INFO] [stdout]      |   ^^^^^^
[INFO] [stdout]      = note: `#[warn(dead_code)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.31s
[INFO] running `Command { std: "docker" "inspect" "0c0bbe2dee0ac5d6374def15d6fb526c2b32cd4280ac963c3ef4f0e36619bda5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c0bbe2dee0ac5d6374def15d6fb526c2b32cd4280ac963c3ef4f0e36619bda5", kill_on_drop: false }`
[INFO] [stdout] 0c0bbe2dee0ac5d6374def15d6fb526c2b32cd4280ac963c3ef4f0e36619bda5
[INFO] checking mm0b_parser-0.1.4 against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] extracting crate mm0b_parser 0.1.4 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate mm0b_parser 0.1.4 on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate mm0b_parser 0.1.4
[INFO] finished tweaking crates.io crate mm0b_parser 0.1.4
[INFO] tweaked toml for crates.io crate mm0b_parser 0.1.4 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 809dfdf35fc466c93b38cfb60ce27d5d736eed5058e91b746f97420603840975
[INFO] running `Command { std: "docker" "start" "-a" "809dfdf35fc466c93b38cfb60ce27d5d736eed5058e91b746f97420603840975", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "809dfdf35fc466c93b38cfb60ce27d5d736eed5058e91b746f97420603840975", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "809dfdf35fc466c93b38cfb60ce27d5d736eed5058e91b746f97420603840975", kill_on_drop: false }`
[INFO] [stdout] 809dfdf35fc466c93b38cfb60ce27d5d736eed5058e91b746f97420603840975
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ddfef0055433871764ffb42522821065c03a337289d7c48eec3add069f88ddbf
[INFO] running `Command { std: "docker" "start" "-a" "ddfef0055433871764ffb42522821065c03a337289d7c48eec3add069f88ddbf", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking mm0_util v0.1.4
[INFO] [stderr]    Compiling zerocopy-derive v0.3.2
[INFO] [stderr]     Checking zerocopy v0.5.2
[INFO] [stderr]     Checking mm0b_parser v0.1.4 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:133:28
[INFO] [stdout]     |
[INFO] [stdout] 133 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:168:28
[INFO] [stdout]     |
[INFO] [stdout] 168 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:199:28
[INFO] [stdout]     |
[INFO] [stdout] 199 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:249:17
[INFO] [stdout]     |
[INFO] [stdout] 249 |   match mmb.get(starts_at..) {
[INFO] [stdout]     |                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:355:23
[INFO] [stdout]     |
[INFO] [stdout] 355 |     Ok(&self.mmb_file[self.pos..self.after_end()?])
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:133:28
[INFO] [stdout]     |
[INFO] [stdout] 133 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:651:31
[INFO] [stdout]     |
[INFO] [stdout] 651 |       .ok_or_else(|| BadSorts(p_sorts..u32_as_usize(header.p_terms.get())))?
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:654:12
[INFO] [stdout]     |
[INFO] [stdout] 654 |       .get(u32_as_usize(header.p_terms.get())..)
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:657:18
[INFO] [stdout]     |
[INFO] [stdout] 657 |         BadTerms(u32_as_usize(header.p_terms.get())..u32_as_usize(header.p_thms.get()))
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:661:12
[INFO] [stdout]     |
[INFO] [stdout] 661 |       .get(u32_as_usize(header.p_thms.get())..)
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:168:28
[INFO] [stdout]     |
[INFO] [stdout] 168 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:664:17
[INFO] [stdout]     |
[INFO] [stdout] 664 |         BadThms(u32_as_usize(header.p_thms.get())..u32_as_usize(header.p_proof.get()))
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:199:28
[INFO] [stdout]     |
[INFO] [stdout] 199 |       let rest = f.buf.get(u64_as_usize(e.ptr)..).ok_or_else(|| f.bad_index_parse())?;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:672:77
[INFO] [stdout]     |
[INFO] [stdout] 672 |           LayoutVerified::<_, U64<LE>>::new_unaligned_from_prefix(&*buf.get(n..)?)?;
[INFO] [stdout]     |                                                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:249:17
[INFO] [stdout]     |
[INFO] [stdout] 249 |   match mmb.get(starts_at..) {
[INFO] [stdout]     |                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:355:23
[INFO] [stdout]     |
[INFO] [stdout] 355 |     Ok(&self.mmb_file[self.pos..self.after_end()?])
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:651:31
[INFO] [stdout]     |
[INFO] [stdout] 651 |       .ok_or_else(|| BadSorts(p_sorts..u32_as_usize(header.p_terms.get())))?
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:654:12
[INFO] [stdout]     |
[INFO] [stdout] 654 |       .get(u32_as_usize(header.p_terms.get())..)
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:693:16
[INFO] [stdout]     |
[INFO] [stdout] 693 |             .get(pos..(pos + size_of::<$t>()))
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 706 | / bin_parser! {
[INFO] [stdout] 707 | |   (parse_u8,  u8)
[INFO] [stdout] 708 | |   (parse_u16, u16)
[INFO] [stdout] 709 | |   (parse_u32, u32)
[INFO] [stdout] 710 | |   (parse_u64, u64)
[INFO] [stdout] 711 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `bin_parser` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:657:18
[INFO] [stdout]     |
[INFO] [stdout] 657 |         BadTerms(u32_as_usize(header.p_terms.get())..u32_as_usize(header.p_thms.get()))
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:758:30
[INFO] [stdout]     |
[INFO] [stdout] 758 |     new_slice_prefix(buf.get(u32_as_usize(t.p_args.get())..)?, usize::from(t.num_args.get()) + 1)?;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:661:12
[INFO] [stdout]     |
[INFO] [stdout] 661 |       .get(u32_as_usize(header.p_thms.get())..)
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:766:30
[INFO] [stdout]     |
[INFO] [stdout] 766 |     new_slice_prefix(buf.get(u32_as_usize(t.p_args.get())..)?, t.num_args.get().into())?;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:822:23
[INFO] [stdout]     |
[INFO] [stdout] 822 |   let value = buf.get(u64_as_usize(p_name)..)?;
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:664:17
[INFO] [stdout]     |
[INFO] [stdout] 664 |         BadThms(u32_as_usize(header.p_thms.get())..u32_as_usize(header.p_proof.get()))
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:921:41
[INFO] [stdout]     |
[INFO] [stdout] 921 |     cstr_from_bytes_prefix(self.buf.get(u64_as_usize(*self.strs.get(n)?)..)?)?.0.to_str().ok()
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:672:77
[INFO] [stdout]     |
[INFO] [stdout] 672 |           LayoutVerified::<_, U64<LE>>::new_unaligned_from_prefix(&*buf.get(n..)?)?;
[INFO] [stdout]     |                                                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:967:22
[INFO] [stdout]     |
[INFO] [stdout] 967 |       &*self.buf.get(u64_as_usize(p_vars)..)?,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/parser.rs:693:16
[INFO] [stdout]     |
[INFO] [stdout] 693 |             .get(pos..(pos + size_of::<$t>()))
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 706 | / bin_parser! {
[INFO] [stdout] 707 | |   (parse_u8,  u8)
[INFO] [stdout] 708 | |   (parse_u16, u16)
[INFO] [stdout] 709 | |   (parse_u32, u32)
[INFO] [stdout] 710 | |   (parse_u64, u64)
[INFO] [stdout] 711 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `bin_parser` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ty.rs:104:16
[INFO] [stdout]     |
[INFO] [stdout] 104 |       for i in 0..56 {
[INFO] [stdout]     |                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:758:30
[INFO] [stdout]     |
[INFO] [stdout] 758 |     new_slice_prefix(buf.get(u32_as_usize(t.p_args.get())..)?, usize::from(t.num_args.get()) + 1)?;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:766:30
[INFO] [stdout]     |
[INFO] [stdout] 766 |     new_slice_prefix(buf.get(u32_as_usize(t.p_args.get())..)?, t.num_args.get().into())?;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:220:52
[INFO] [stdout]     |
[INFO] [stdout] 220 |       self.term_thm_buf.extend_from_slice(&mmb.buf[start..end]);
[INFO] [stdout]     |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:822:23
[INFO] [stdout]     |
[INFO] [stdout] 822 |   let value = buf.get(u64_as_usize(p_name)..)?;
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:227:52
[INFO] [stdout]     |
[INFO] [stdout] 227 |       self.term_thm_buf.extend_from_slice(&mmb.buf[start..end]);
[INFO] [stdout]     |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:921:41
[INFO] [stdout]     |
[INFO] [stdout] 921 |     cstr_from_bytes_prefix(self.buf.get(u64_as_usize(*self.strs.get(n)?)..)?)?.0.to_str().ok()
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:232:35
[INFO] [stdout]     |
[INFO] [stdout] 232 |     self.proof.write_all(&mmb.buf[start..end])
[INFO] [stdout]     |                                   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/parser.rs:967:22
[INFO] [stdout]     |
[INFO] [stdout] 967 |       &*self.buf.get(u64_as_usize(p_vars)..)?,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ty.rs:104:16
[INFO] [stdout]     |
[INFO] [stdout] 104 |       for i in 0..56 {
[INFO] [stdout]     |                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:220:52
[INFO] [stdout]     |
[INFO] [stdout] 220 |       self.term_thm_buf.extend_from_slice(&mmb.buf[start..end]);
[INFO] [stdout]     |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:227:52
[INFO] [stdout]     |
[INFO] [stdout] 227 |       self.term_thm_buf.extend_from_slice(&mmb.buf[start..end]);
[INFO] [stdout]     |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/write.rs:232:35
[INFO] [stdout]     |
[INFO] [stdout] 232 |     self.proof.write_all(&mmb.buf[start..end])
[INFO] [stdout]     |                                   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `buf` is never read
[INFO] [stdout]     --> src/parser.rs:1020:3
[INFO] [stdout]      |
[INFO] [stdout] 1018 | pub struct HypsEntryRef<'a> {
[INFO] [stdout]      |            ------------ field in this struct
[INFO] [stdout] 1019 |   /// The full file
[INFO] [stdout] 1020 |   buf: &'a [u8],
[INFO] [stdout]      |   ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `HypsEntryRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]     --> src/lib.rs:18:3
[INFO] [stdout]      |
[INFO] [stdout] 18   |   unused,
[INFO] [stdout]      |   ^^^^^^
[INFO] [stdout]      = note: `#[warn(dead_code)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `buf` is never read
[INFO] [stdout]     --> src/parser.rs:1020:3
[INFO] [stdout]      |
[INFO] [stdout] 1018 | pub struct HypsEntryRef<'a> {
[INFO] [stdout]      |            ------------ field in this struct
[INFO] [stdout] 1019 |   /// The full file
[INFO] [stdout] 1020 |   buf: &'a [u8],
[INFO] [stdout]      |   ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `HypsEntryRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]     --> src/lib.rs:18:3
[INFO] [stdout]      |
[INFO] [stdout] 18   |   unused,
[INFO] [stdout]      |   ^^^^^^
[INFO] [stdout]      = note: `#[warn(dead_code)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/parser.rs:446:12
[INFO] [stdout]     |
[INFO] [stdout] 446 |   BadSorts(Range<usize>),
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/parser.rs:448:12
[INFO] [stdout]     |
[INFO] [stdout] 448 |   BadTerms(Range<usize>),
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/parser.rs:450:11
[INFO] [stdout]     |
[INFO] [stdout] 450 |   BadThms(Range<usize>),
[INFO] [stdout]     |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/parser.rs:452:13
[INFO] [stdout]     |
[INFO] [stdout] 452 |   BadProofs(Range<usize>),
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors; 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `mm0b_parser` (lib) due to 5 previous errors; 22 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "ddfef0055433871764ffb42522821065c03a337289d7c48eec3add069f88ddbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddfef0055433871764ffb42522821065c03a337289d7c48eec3add069f88ddbf", kill_on_drop: false }`
[INFO] [stdout] ddfef0055433871764ffb42522821065c03a337289d7c48eec3add069f88ddbf
